var clover = new Object();

// JSON: {classes : [{name, id, sl, el,  methods : [{sl, el}, ...]}, ...]}
clover.pageData = {"classes":[{"el":29,"id":256,"methods":[{"el":26,"sc":3,"sl":23}],"name":"CasFault","sl":21}]}

// JSON: {test_ID : {"methods": [ID1, ID2, ID3...], "name" : "testXXX() void"}, ...};
clover.testTargets = {"test_11":{"methods":[{"sl":23}],"name":"getServiceTicketFailure","pass":true,"statements":[{"sl":24},{"sl":25}]},"test_65":{"methods":[{"sl":23}],"name":"setInvalidText","pass":true,"statements":[{"sl":24},{"sl":25}]}}

// JSON: { lines : [{tests : [testid1, testid2, testid3, ...]}, ...]};
clover.srcFileLines = [[], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [11, 65], [11, 65], [11, 65], [], [], [], []]
